翻訳と辞書
Words near each other
・ "O" Is for Outlaw
・ "O"-Jung.Ban.Hap.
・ "Ode-to-Napoleon" hexachord
・ "Oh Yeah!" Live
・ "Our Contemporary" regional art exhibition (Leningrad, 1975)
・ "P" Is for Peril
・ "Pimpernel" Smith
・ "Polish death camp" controversy
・ "Pro knigi" ("About books")
・ "Prosopa" Greek Television Awards
・ "Pussy Cats" Starring the Walkmen
・ "Q" Is for Quarry
・ "R" Is for Ricochet
・ "R" The King (2016 film)
・ "Rags" Ragland
・ ! (album)
・ ! (disambiguation)
・ !!
・ !!!
・ !!! (album)
・ !!Destroy-Oh-Boy!!
・ !Action Pact!
・ !Arriba! La Pachanga
・ !Hero
・ !Hero (album)
・ !Kung language
・ !Oka Tokat
・ !PAUS3
・ !T.O.O.H.!
・ !Women Art Revolution


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

morphism of varieties : ウィキペディア英語版
Morphism of algebraic varieties
In algebraic geometry, a morphism between algebraic varieties is a function between the varieties that is given locally by polynomials. It is also called a regular map. A morphism from an algebraic variety to the affine line is also called a regular function.
A regular map whose inverse is also regular is called biregular, and they are isomorphisms in the category of algebraic varieties. Because regular and biregular are very restrictive conditions – there are no non-constant regular functions on projective varieties – the weaker condition of a rational map and birational maps are frequently used as well.
== Definition ==
If ''X'' and ''Y'' are closed subvarieties of A''n'' and A''m'' (so they are affine varieties), then a regular map ƒ:''X''→''Y'' is the restriction of a polynomial map A''n''→A''m''. Explicitly, it has the form
:f = (f_1, \dots, f_m)
where the f_i's are in the coordinate ring of ''X'':
:k() = k(\dots, x_n )/I,
''I'' the ideal defining ''X'', so that the image f(X) lies in ''Y''; i.e., satisfying the defining equations of ''Y''. (Two polynomials ''f'' and ''g'' define the same function on ''X'' if and only if ''f'' - ''g'' is in ''I''.)
More generally, a map ƒ:''X''→''Y'' between two varieties is regular at a point ''x'' if there is a neighbourhood ''U'' of ''x'' and a neighbourhood ''V'' of ƒ(''x'') such that ƒ(''U'') ⊂ ''V'' and the restricted function ƒ:''U''→''V'' is regular as a function on some affine charts of ''U'' and ''V''. Then ƒ is called regular, if it is regular at all points of ''X''.
*Note: It is not immediately obvious that the two definitions coincide: if ''X'' and ''Y'' are affine varieties, then a map ƒ:''X''→''Y'' is regular in the first sense if and only if it is so in the second sense.〔Here is the argument showing the definitions coincide. Clearly, we can assume ''Y'' = A1. Then the issue here is whether the "regular-ness" can be patched together; this answer is yes and that can be seen from the construction of the structure sheaf of an affine variety as described at affine variety#Structure sheaf.〕 Also, it is not immediately clear whether a regularity depends on a choice of affine charts (it doesn't.〔It is not clear how to prove this, though. If ''X'', ''Y'' are quasi-projective, then the proof can be given. The non-quasi-projective case strongly depends on one's definition of an abstract variety.〕) This kind of a consistency issue, however, disappears if one adopts the formal definition. Formally, an (abstract) algebraic variety is defined to be a particular kind of a locally ringed space (see for example "projective variety" for the ringed space structure of a projective variety). When this definition is used, a morphism of varieties is just a morphism of locally ringed spaces.
The composition of regular maps is again regular; thus, algebraic varieties form the category of algebraic varieties where the morphisms are the regular maps.
Regular maps between affine varieties correspond contravariantly in one-to-one to algebra homomorphisms between the coordinate rings: if ƒ:''X''→''Y'' is a morphism of affine varieties, then it defines the algebra homomorphism
:f^: k() \to k(), \, g \mapsto g \circ f
where k(), k() are the coordinate rings of ''X'' and ''Y''; it is well-defined since g \circ f = g(f_1, \dots, f_m) is a polynomial in elements of k(). Conversely, if \phi: k() \to k() is an algebra homomorphism, then it induces the morphism
:\phi^a: X \to Y
given by: writing k() = k(\dots, y_m )/J,
:\phi^a = (\phi(\overline), \dots, \phi(\overline))
where \overline_i are the images of y_i's.〔The image of \phi^a lies in ''Y'' since if ''g'' is a polynomial in ''J'', then, a priori thinking \phi^a is a map to the affine space, g \circ \phi^a = g(\phi(\overline), \dots, \phi(\overline)) = \phi(\overline) = 0 since ''g'' is in ''J''.〕 Note ^ = \phi as well as ^(g) = g(\phi(\overline), \dots, \phi(\overline)) = \phi(g) since φ is an algebra homomorphism. Also, f^ = (\overline \circ f, \dots, \overline \circ f) = f.〕 In particular, ''f'' is an isomorphism of affine varieties if and only if ''f''# is an isomorphism of the coordinate rings.
For example, if ''X'' is a closed subvariety of an affine variety ''Y'' and ƒ is the inclusion, then ƒ# is the restriction of regular functions on ''Y'' to ''X''. See #Examples below for more examples.

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Morphism of algebraic varieties」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.